9

Some extensions to algebraic specifications

Year:
1977
Language:
english
File:
PDF, 388 KB
english, 1977
10

Algorithm-oriented generic libraries

Year:
1994
Language:
english
File:
PDF, 1.22 MB
english, 1994
11

Proof by consistency

Year:
1987
Language:
english
File:
PDF, 1.43 MB
english, 1987
13

Introspective Sorting and Selection Algorithms

Year:
1997
Language:
english
File:
PDF, 93 KB
english, 1997
15

Bilateral femoral nerve neuropathy following blunt trauma

Year:
1990
Language:
english
File:
PDF, 497 KB
english, 1990
20

Semantic and behavioral library transformations

Year:
2002
Language:
english
File:
PDF, 271 KB
english, 2002
22

Death and adverse cardiac events after carotid endarterectomy

Year:
1994
Language:
english
File:
PDF, 736 KB
english, 1994
33

Singlet exciton fission in solution

Year:
2013
Language:
english
File:
PDF, 2.11 MB
english, 2013
39

Abstract data types and software validation

Year:
1978
Language:
english
File:
PDF, 10.16 MB
english, 1978
48

A Generalized Class of Polynomials that are Hard to Factor

Year:
1983
Language:
english
File:
PDF, 1.44 MB
english, 1983